AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在基于测试平台的验证环境中进行自动设计调试
Dehbashi, Mehdi; Sülflow, André; Fey, Görschwin;
机译:程序验证,自动调试和符号计算前言专刊
机译:通过自动有效性验证方法在调试并行程序中使用不稳定行为模板
机译:基于测试平台的验证环境中的自动化设计调试
机译:现代验证环境中顺序数字设计的调试自动化中的新颖方向。
机译:医院环境下混合运输无人驾驶车辆的优化设计建议
机译:基于测试平台的验证环境中的自动设计调试
机译:aDa编程支持环境交互式调试的分析与设计
机译:超约束电路验证环境的自动调试方法
机译:过度约束电路验证环境的自动化调试方法及系统
机译:过度约束的电路验证环境的自动调试方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。